Journal of Logic and Algebraic Programming
Journal of Logic and Algebraic Programming > 2008 > 75 > 1 > 3-51
Journal of Logic and Algebraic Programming > 2008 > 75 > 1 > 139-165
Journal of Logic and Algebraic Programming > 2008 > 75 > 1 > 86-138
Journal of Logic and Algebraic Programming > 2008 > 75 > 1 > 52-85
Journal of Logic and Algebraic Programming > 2008 > 75 > 2 > 209-229
Journal of Logic and Algebraic Programming > 2008 > 75 > 2 > 182-208
Journal of Logic and Algebraic Programming > 2008 > 75 > 2 > 167-181